History Type Analysis
نویسندگان
چکیده
Security abstractions in programming languages benefit from the ability to base access control decisions on the temporal context of program execution. In this paper we formalize the notion of a history as a sequence of program events produced during program execution, and which allows execution contexts to be precisely characterized. We define a language λhist to model the incorporation of histories in evaluation, and present a sound type analysis for statically verifying program safety in the presence of histories. An approximate type inference algorithm is defined, though inference in the general case is shown to be undecidable.
منابع مشابه
Seismic Vulnerability Assesment of Jacket Type Offshore Platforms
Most of oil and gas offshore platforms are located in the seismic regains. So, Seismic vulnerability evaluation of the offshore platforms is one of the most important and vital issues in the structural systems. In this study, jacket type offshore platforms are studied by incorporating the pushover analyses and nonlinear time history analyses, in such a way that, first some push over analyses ar...
متن کاملSeismic Analysis of Rectangular Concrete Tanks by Considering Fluid and Tank Interaction
Many liquid storage tanks around the world have affected by earthquakes. This structure can store dangerous chemical liquids. Hence dynamic behavior of ground supported rectangular storage tanks is very important due to their applications in industrial facilities. In current research, the seismic behavior of two water storage rectangular concrete tanks is examined. For this purpose, these tanks...
متن کاملTime to Recurrent Relapses Analysis in Schizophrenic Patients by Using Recurrent Events Model
Objective: Schizophrenia is to be emphasized due to its high prevalence, severity of symptoms and frequent recurrences. In this study the hazard of recurrence of Schizophrenia was analyzed by using recurrent events models. Materials & Methods: This study was an observational prospective study. Data was gathered from 159 registered schizophrenia patients at Razi Psychiatric Center. The type I...
متن کاملRisk factors assoicated with increased the chance of ectopic pregnancy
Introduction: Ectopic Pregnancy (EP) is one of the most common causes of maternal mortality. The aim of this study was to evaluate the risk factors that increase the chances of ectopic pregnancy. Materials and Methods: This case-control study was performed in the hospitals of Shahroud University of Medical Sciences in 2018 by census method. Pregnant women who were hospitalized with suspected ec...
متن کاملمطالعه مورد ـ شاهدی عوامل موثر بر میگرن و سردرد تنشی در دانش آموزان دبستانی شهر شیراز
Studies of headache risk factors are numerous but their results are based on clinics and hospitals. Few data have been reported in children. No data are available regarding migraine and tension-type headache risk factors among Iranianchildren. Therefore we determined the sociodemographic risk factors of migraine and tension-type headaches and their correlations in schoo...
متن کاملStatus of Psychological Adjustment and Associated Factors in Patients with Type 2 Diabetes in Zanjan University of Medical Sciences - 2019
Background: Diabetes is one of the major health issues worldwide and a challenge for health care providers. Objectives: The aim of this study was to determine the status of psychological adjustment and associated factors in patients with type 2 diabetes in Zanjan University of Medical Sciences. Methods: This descriptive cross-sectional study was carried out on 350 patients with type 2 diabete...
متن کامل